Lenses from Scratch

Lens型なぜ以下のような定義なのか、Lensを再実装しながらを順を追って説明している

code:hs

type Lens a b = Functor f => a -> (b -> f b) -> f a

読んだメモ